A Preliminary Reification of Argument Theory Change
نویسندگان
چکیده
منابع مشابه
A Preliminary Reification of Argument Theory Change
In this article we introduce the basics for understanding the mechanisms of Argument Theory Change. In particular we reify it using Defeasible Logic Programming. In this formalism, knowledge bases are represented through defeasible logic programs. The main change operation we define over a defeasible logic program is a special kind of revision that inserts a new argument and then modifies the r...
متن کاملArgument Theory Change: Revision Upon Warrant
We propose an abstract argumentation theory whose dynamics is captured by the application of belief revision concepts. The theory is deemed as abstract because both the underlying logic for arguments and argumentative semantics remain unspecified. Regarding our approach to argument theory change, we define some basic change operations along with their necessary theoretical elements towards the ...
متن کاملArgument Theory Change Through Defeater Activation
Argument Theory Change applies classic belief change concepts to the area of argumentation. This intersection of fields takes advantage of the definition of a Dynamic Abstract Argumentation Framework, in which an argument is either active or inactive, and only in the former case it is taken into consideration in the reasoning process. An approach for an argument revision operator defined throug...
متن کاملTheory propagation and reification
SAT Modulo Theories (SMT) is the problem of determining the satisfiability of a formula in which constraints, drawn from a given constraint theory T , are composed with logical connectives. The DPLL(T ) approach to SMT has risen to prominence as a technique for solving these quantifier-free problems. The key idea in DPLL(T ) is to couple unit propagation in the propositional part of the problem...
متن کاملDynamics of knowledge in DeLP through Argument Theory Change
1 This article is devoted to the study of methods to change defeasible logic programs (de.l.p.s) which are the knowledge bases used by the Defeasible Logic Programming (DeLP) interpreter. DeLP is an argumentation formalism that allows to reason over potentially inconsistent de.l.p.s. Argument Theory Change (ATC) studies certain aspects of belief revision in order to make them suitable for abstr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: INTELIGENCIA ARTIFICIAL
سال: 2008
ISSN: 1988-3064
DOI: 10.4114/ia.v12i40.979